TipoTítulo Autor EdiciónDisponibilidadValoración
coverllll
Libro
A survey of verification techniques for parallel programs: Barringer, Howard (c1985)
Domicilio

----------